Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
691	CALCULEMUSPartial Evaluation and Residual Theorems in Computer Algebra Michael Kucera 1 Jacques Carette 2 Computing and Software Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-09-07 12:33:54 Cross-platform software Maple Maplesoft Partial evaluation ALGOL 68 Obfuscated code Dynamic programming Software engineering Computing Computer programming
692	ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА INSTITUTE OF MATHEMATICS AND INFORMATICS Секция Биоматематика Section Biomathematics Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:00 Arithmetic Computer arithmetic Interval arithmetic Vector space Interval Logarithm Convex function Interval finite element Integral Mathematics Algebra Numerical analysis
693	II C. G. T .lvi. 5 S. Ho;.vry Octob e r 1965 Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2011-07-15 16:15:44 Vector calculus Linear algebra Surfaces Coordinate systems 3D computer graphics Euclidean vector Cartesian coordinate system Normal Parametric surface Geometry Algebra Mathematics
694	Clustering with Normalized Cuts is Clustering with a Hyperplane Ali Rahimi1 and Ben Recht2 1 MIT Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: www.cba.mit.edu Language: English - Date: 2011-12-13 18:32:02 Multivariate statistics Linear algebra Data analysis Singular value decomposition Spectral clustering Cluster analysis Support vector machine Hyperplane Eigenvalues and eigenvectors Statistics Algebra Mathematics
695	Scheduling and SAT Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 02:59:42 Constraint programming Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Satisfiability NP-complete Model checking Theoretical computer science Applied mathematics Computational complexity theory
696	Integers in Computers Tanya Khovanova March 25, 2013 A kyboard for sal: only on ky dosn’t work. Class Discussion Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2013-12-12 14:09:40 Algebra Algebraic number theory Data types Ring theory Elementary number theory Integer −1 Number 1000 Abstract algebra Mathematics Computer arithmetic
697	IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS (TVCG), ACCEPTED, Stable Feature Flow Fields Tino Weinkauf, Holger Theisel, Allen Van Gelder, Alex Pang Add to Reading List Source URL: www.semseg.eu Language: English - Date: 2010-11-29 18:52:19 Abstract algebra Visualization Vortex Core Line Vector space Vector field Navier–Stokes equations Dynamical system Eigenvalues and eigenvectors Algebra Mathematics Linear algebra
698	SeptLecture 4: Introduction to Mathematica III Simplifying and Picking Apart Expressions, Calculus, Numerical Evaluation R is that it reduces or even eliminates A great advantage of using a symbolic algebra so Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-09-05 10:03:09 Computer algebra systems Cross-platform software Mathematica Numerical software Wolfram Research Exponentiation Function Rational function Read–eval–print loop Mathematical software Mathematics Software
699	Spacetimes with Semantics (II) Scaling of agency, semantics, and tenancy Notes (draft v1.2) Mark Burgess April 25, 2015 Add to Reading List Source URL: markburgess.org Language: English - Date: 2015-04-25 09:23:37 Abstract algebra Linear algebra Promise theory Theoretical computer science Promise General relativity Spacetime Euclidean vector Scalar Algebra Mathematics Physics
700	Feature Shift Detection Assaf Glazer, Michael Lindenbaum, Shaul Markovitch Technion Institute of Technology, Haifa, Israel 32000 {assafgr,mic,shaulm}@cs.technion.ac.il Abstract Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-07-10 04:04:04 Image processing Linear algebra Abstract algebra Statistical classification Support vector machine Feature Prior probability Vector space Edge detection Algebra Mathematics Computer vision

UPDATE